TeCre: A Novel Temporal Conflict Resolution Method Based on Temporal Knowledge Graph Embedding
نویسندگان
چکیده
Since the facts in knowledge graph (KG) cannot be updated automatically over time, some have temporal conflicts. To discover and eliminate conflicts KG, this paper proposes a novel conflict resolution method based on KG embedding (named TeCre). Firstly, predicate relation timestamp information of time series are incorporated into entity–relation representation by leveraging (KGE) method. Then, taking account chronological sequence evolution TeCre constrains according to principles disjoint, precedence, mutually exclusive constraints. Besides that, further considers vectorization KG. Finally, facts, deletes tail entities employs link prediction complete missing output score function embedding. Experimental results four public datasets show that is significantly better than state-of-the-art model. The mean reciprocal ranking (MRR) Hits@10 at least 5.46% 3.2% higher baseline methods, respectively.
منابع مشابه
TeCoRe: Temporal Conflict Resolution in Knowledge Graphs
The management of uncertainty is crucial when harvesting structured content from unstructured and noisy sources. Knowledge Graphs (kgs), maintaining both numerical and non-numerical facts supported by an underlying schema, are a prominent example. Knowledge Graph management is challenging because: (i) most of existing kgs focus on static data, thus impeding the availability of timewise knowledg...
متن کاملA Graph-Based Approach to Resolution in Temporal Logic
An approach to the mechanisation of temporal logics, based on a form of clausal resolution has been developed [Fis91, Fis93]. Temporal formulae incorporating both past-time and future-time temporal operators are converted into Separated Normal Form, and then both non-temporal and temporal resolution rules are applied. The temporal resolution rule attempts to match conditions which must be event...
متن کاملA Resolution-Based Proof Method for Temporal Logics of Knowledge and Belief
In this paper we define two logics, KLn and BLn, and present resolutionbased proof methods for both. KLn is a temporal logic of knowledge. Thus, in addition to the usual connectives of linear discrete temporal logic, it contains a set of unary modal connectives for representing the knowledge possessed by agents. The logic BLn is somewhat similar: it is a temporal logic that contains connectives...
متن کاملinvestigation of temporal resolution laterality
background and aim: auditory temporal resolution skill is calculated according to the minimum required time to analyze or integrate acoustic events. this skill, which is essential for speech perception, was evaluated by gap detection tests. the aim of this study was to determine the presence or absence of any differences between the right and left ear in the gap detection test. methods: after p...
متن کاملA Resolution Method for Temporal Logic
In this paper, a resolution method for propositional temporal logic is presented. Temporal formulae, incorporating both past-time and future-time temporal operators, are converted to Separated Normal Form (SNF), then both non-temporal and temporal resolution rules are applied. The resolution method is based on classical resolution, but incorporates a temporal resolution rule that can be impleme...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Information
سال: 2023
ISSN: ['2078-2489']
DOI: https://doi.org/10.3390/info14030155